Critical pairs based diagnosability analysis of timed fault in Time Petri Nets

Time Petri Nets are a suitable tool for the modeling of timed Discrete Event Systems. This paper is about diagnosability single fault in Nets. To check existence critical pairs, an abstraction systems infinite behaviours, called path, presented as set observable constraints associated with particular sequence transitions. Properties on solutions partition this then provided to fault.